Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
961	Can We Do Without Pragmatic Encroachment? Brian Weatherson 1 Introduction Add to Reading List Source URL: brian.weatherson.org Language: English - Date: 2010-04-14 09:31:53 Belief Justification Critical thinking Philosophical logic Evidentialism Doxastic logic Theory of justification Deductive closure Modal logic Logic Philosophy Epistemology
962	Reasoning about other agents’ beliefs under bounded resources Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib? School of Computer Science University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-03-19 13:18:33 Epistemic modal logic Logic Constructible universe Mathematical logic Modal logic Artificial intelligence
963	Logic for coalitions with bounded resources ∗ Natasha Alechina and Brian Logan and and Nguyen Hoang Nga and Abdur Rakib School of Computer Science The University of Nottingham Nottingham, NG8 1BB, UK {nza,bsl,hnn,rza}@ Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-07-07 05:27:15 Modal logic Entailment Combinatory logic Logic Artificial intelligence Epistemic modal logic
964	The Epistemic Problem Does Not Refute Consequentialism Tyler Cowen Department of Economics George Mason University Fairfax, VA 22030 Add to Reading List Source URL: www.gmu.edu Language: English - Date: 2004-12-20 16:03:10 Philosophy of life Normative ethics Consequentialism Utilitarianism Derek Parfit Modal logic Reason Free will Philosophy Ethics Social philosophy
965	Grounding Knowledge and Action Selection in Agent-Based Systems Natasha Alechina Brian Logan School of Computer Science and IT University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2002-09-26 13:10:47 Formal languages Model theory Philosophical logic Modal logic Interpretation Epistemic modal logic Kripke semantics Function Action selection Logic Mathematical logic Mathematics
966	Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-05-05 07:12:06 Modal logic Software engineering Logic Non-classical logic Maude system
967	Expressing Properties of Coalitional Ability under Resource Bounds ? Natasha Alechina Brian Logan Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-08-17 09:53:06 Entailment Logical consequence Metalogic Modal logic Valuation Logic Philosophical logic Deduction
968	Modelling Communicating Agents in Timed Reasoning Logics Natasha Alechina, Brian Logan, and Mark Whitsey School of Computer Science and IT, University of Nottingham, UK. (nza,mtw,bsl)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2004-07-06 11:08:16 Formal languages Model theory Deduction Well-formed formula Entailment Function Epistemic modal logic Linear temporal logic Natural deduction Logic Metalogic Logical syntax
969	Logical Omniscience and the Cost of Deliberation Natasha Alechina and Brian Logan School of Computer Science and IT, University of Nottingham, Nottingham NG8 1BB, UK, Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2001-10-23 13:46:17 Mathematical logic Metalogic Formal languages Entailment Well-formed formula Modal logic Function Constructible universe Model theory Logic Logical syntax Propositional calculus
970	Modal logics for communicating rule-based agents Natasha Alechina and Mark Jago and Brian Logan1 Abstract. In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for mul Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-08-16 14:42:18 Symbol Epistemic modal logic Modal logic Proof theory Lambda calculus Curry–Howard correspondence Logic Mathematical logic Mathematics

UPDATE